منابع مشابه
Narrowing Down Suspicion in Inconsistent Premise Sets∗
Inconsistency-adaptive logics isolate the inconsistencies that are derivable from a premise set, and restrict the rules of Classical Logic only where inconsistencies are involved. From many inconsistent premise sets, disjunctions of contradictions are derivable no disjunct of which is itself derivable. Given such a disjunction, it is often justified to introduce new premises that state, with a ...
متن کاملEnhancing Top-Down Solving with Widening and Narrowing
We present an enhancement of the generic fixpoint algorithm TD which can deal with widening and narrowing even for non-monotonic systems of equations. In constrast to corresponding enhancements proposed for other standard fixpoint algorithms, no extra priorities on variables are required. Still, a mechanism can be devised so that occurrences of the widening/narrowing operator are inserted as we...
متن کاملNarrowing the Narrowing Space
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space. This, in turn, allows us to replace an infinite enumeration of computed answers with an equivalent finite representation. We provide a semidecidable condition for this result. Our framework is intended to be used by im...
متن کاملAn Introduction to the NarrowPeaks Package: Narrowing Down Transcription Factor Binding Site Candidates from Functional Data
State-of-the-art bioinformatic algorithms, so-called peak finders (see references [2], [5] and [8]), are used to detect transcription factor binding sites in highthroughput chromatin immunoprecipitation followed by sequencing (ChIP-seq). The data analysis is usually based on peak-search criteria of the local maxima over enriched candidate regions. For purposes of computation several assumptions...
متن کاملNarrowing It Down: Information Retrieval, Supporting Effective Visual Browsing, Semantic Networks
Perusal of text documents and articles is a central process of research in many fields and disciplines. However, there are often vast amounts of literature for any given area of discourse. Thus, the process of extracting useful information from textual sources encompasses not only the review of a large numbers of texts in a general area, but also the filtering and selection of texts relevant to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of Pragmatism and American Philosophy
سال: 2016
ISSN: 2036-4091
DOI: 10.4000/ejpap.442